The zero-one law holds for BPP
نویسنده
چکیده
We show that BPP has p-measure zero if and only if BPP differs from EXP. The same holds when we replace BPP by any complexity class C that contains BPP and is closed under tt-reductions. The zero-one law for each of these classes C follows: Within EXP, C has either measure zero or else measure one.
منابع مشابه
A zero-one SUBEXP-dimension law for BPP
We show that BPP has either SUBEXP-dimension zero (randomness is easy) or BPP = EXP (randomness is intractable).
متن کاملPrivate Coins versus Public Coins in Zero-Knowledge Proof Systems
Goldreich-Krawczyk (Siam J of Comp’96) showed that only languages in BPP have constant-round public-coin black-box zero-knowledge protocols. We extend their lower bound to “fully black-box” privatecoin protocols based on one-way functions. More precisely, we show that only languages in BPP—where Sam is a “collision-finding” oracle in analogy with Simon (Eurocrypt’98) and Haitner et. al (FOCS’07...
متن کاملOne-Way Fuctions are Essential for Non-Trivial Zero-Knowledge
It was known that if one-way functions exist, then there are zero-knowledge proofs for every language in PSPACE . We prove that unless very weak one-way functions exist, ZeroKnowledge proofs can be given only for languages in BPP. For average-case de nitions of BPP we prove an analogous result under the assumption that uniform one-way functions do not exist. Thus, very loosely speaking, zero{kn...
متن کاملOne-Way Functions are Essential for Non-Trivial Zero-Knowledge
It was known that if one-way functions exist, then there are zero-knowledge proofs for every language in PSPACE . We prove that unless very weak one-way functions exist, ZeroKnowledge proofs can be given only for languages in BPP. For average-case definitions of BPP we prove an analogue result under the assumption that uniform one-way functions do not exist. ∗ University of California at Berkel...
متن کاملA Note on Independent Random Oracles
It is shown that P A P B BPP holds for every algorithmically random oracle A B This result extends the corresponding probability one characterization of Ambos Spies and Kurtz
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 244 شماره
صفحات -
تاریخ انتشار 2000